🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Solving LinkedIn Queens Using MiniZinc
zayenz.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·7h·
Discuss: DEV
📐Error Bounds
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·15h
🧮Prolog Parsing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·1h
📊Graph Databases
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·19h
💾Persistence Strategies
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·1d
💻Local LLMs
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
👑Isabelle
The Ultimate Guide: Which AI Coding Model Should You Use
dev.to·9h·
Discuss: DEV
⚡Z3 Optimization
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·11h
🔗Topological Sorting
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Lessons from LangChain and Slack and MCP Integration
medium.com·17h·
Discuss: Hacker News
🔗Topological Sorting